将一个可执行程序从其汇编语言形式翻译成某种高级程序设计语言形式的过程称为( )。